Type theory

Synonyms for "type theory" (6 found)

Ranked by relevance and common usage.

Closest matches (2)

Noun(2 words)
classification approachsemantic type framework

Strong matches (1)

Noun(1 words)
type system

Related words (3)

Noun(3 words)
type-based semanticstyping theorytypology

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

7 entries
classification theoryformal theorylinguistic theorymathematical theoryorganization methodsemantic theorytheory

More specific

7 entries
Montague style type theorycategorical classificationcompositional type theorydependent type theoryhomotopy type theorylabeling schemesimple type theory

Collocations

6 entries
dependent type theoryhomotopy type theoryprogramming language type theorysimple type theorytype checkingtype inference

Inflections

1 entries
type theories

Derivations

4 entries
type theoristtype theorizetype-theoretictype-theoretically

Sample sentences

1 total sentences available.

Tatoeba + Wiktionary

Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages.

Source: wiktionary

Keep exploring

Browse writing guidesRead the blog